finite axiomatizability

См. также в других словарях:

• New Foundations — In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled New Foundations for …   Wikipedia

• Von Neumann–Bernays–Gödel set theory — In the foundations of mathematics, von Neumann–Bernays–Gödel set theory (NBG) is an axiomatic set theory that is a conservative extension of the canonical axiomatic set theory ZFC. A statement in the language of ZFC is provable in NBG if and only …   Wikipedia

• Zermelo–Fraenkel set theory — Zermelo–Fraenkel set theory, with the axiom of choice, commonly abbreviated ZFC, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics.ZFC consists of a single primitive ontological notion, that of… …   Wikipedia

• General set theory — (GST) is George Boolos s (1998) name for a three axiom fragment of the canonical axiomatic set theory Z. GST is sufficient for all mathematics not requiring infinite sets, and is the weakest known set theory whose theorems include the Peano… …   Wikipedia

• Theorie des ensembles de von Neumann-Bernays-Godel — Théorie des ensembles de von Neumann–Bernays–Gödel La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec… …   Wikipédia en Français

• Theorie des ensembles de von Neumann–Bernays–Godel — Théorie des ensembles de von Neumann–Bernays–Gödel La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec… …   Wikipédia en Français

• Théorie NBG — Théorie des ensembles de von Neumann–Bernays–Gödel La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec… …   Wikipédia en Français

• Théorie des classes — Théorie des ensembles de von Neumann–Bernays–Gödel La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec… …   Wikipédia en Français

• Théorie des ensembles de Von Neumann–Bernays–Gödel — La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec axiome du choix (et avec les mêmes variantes… …   Wikipédia en Français

• Théorie des ensembles de von Neumann-Bernays-Gödel — Théorie des ensembles de von Neumann–Bernays–Gödel La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec… …   Wikipédia en Français

• Théorie des ensembles de von Neumann–Bernays–Gödel — La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec axiome du choix (et avec les mêmes variantes… …   Wikipédia en Français